State-morphism MV-algebras

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

State-morphism pseudo-effect algebras

The notion of a state-morphism on pseudoeffect algebras is introduced, and pseudo-effect algebras with distinguished state-morphisms are studied under the name state-morphism pseudo-effect algebras (SMPEAs). It is shown that every SMPEA admits a representation as a (total) state-morphism algebra, and some results from the general theory of state-morphism algebras (that is, algebras endowed with...

متن کامل

Erratum to "State-morphism MV-algebras" [Ann. Pure Appl. Logic 161 (2009) 161-173]

Recently, the first two authors characterized in Di Nola and Dvurečenskij (2009) [1] subdirectly irreducible state-morphism MV-algebras. Unfortunately, the main theorem (Theorem 5.4(ii)) has a gap in the proof of Claim 10, as the example below shows. We now present a correct characterization and its correct proof. © 2010 Elsevier B.V. All rights reserved.

متن کامل

MV* - Algebras

In this paper we make an algebraic study of the variety of M V * –algebras introduced by C. C.Chang as an algebraic counterpart for a logic with positive and negative truth values. We build the algebraic theory of M V * –algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in –groups. The main results are a subd...

متن کامل

Generalized MV-algebras

We generalize the notion of an MV-algebra in the context of residuated lattices to include noncommutative and unbounded structures. We investigate a number of their properties and prove that they can be obtained from lattice-ordered groups via a truncation construction that generalizes the Chang–Mundici Γ functor. This correspondence extends to a categorical equivalence that generalizes the one...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 2009

ISSN: 0168-0072

DOI: 10.1016/j.apal.2009.05.003